class BooleanExpr
	feature
		test1()
		do
			expr:=1 or 2 and 3 xor 4 implies 5 and then 6 or else 7
		end
end